int foo( ){
  int i = 10;
  int j = 5;
  int k = 8;

  do {
    k = 7;
    while(i > 0)
      i++;
    k = 9;
  } while(j>0);

  return i;
}
